\input texinfo @c -*-texinfo-*-

@setfilename @ @verb{: name :}@ 

@bye
